Monitoring and programming languages
نویسنده
چکیده
Cyrille Artho Domain-Specific Languages with Scala, and model-based testing as an example Domain-Specific Languages (DSLs) are often classified into external and internal DSLs. An external DSL is a stand-alone language with its own parser. An internal DSL is an extension of an existing programming language, the host language, offering the user of the DSL domain-specific constructs as well as the constructs of the host language. In this presentation, we will give a brief overview of the concepts and also look at an internal DSL used for model-based testing with the tool “Modbat”.
منابع مشابه
True Lies: Lazy Contracts for Lazy Languages Faithfulness is Better than Laziness
Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract monitoring. Contract monitoring for lazy programming languages does not have a generally accepted basis. This paper discusses three approaches, eager, semi-eager, and lazy monitoring, all of which are flawed. The first two may chang...
متن کاملSemantics Directed Program Execution Monitoring
Monitoring semantics is a formal model of program execution which captures “monitoring activity” as found in profilers, tracers, debuggers, etc. Beyond its theoretical interest, this formalism provides a new methodology for implementing a large family of source-level monitoring activities for sequential deterministic programming languages. In this article we explore the use of monitoring semant...
متن کاملModul for Run-time Monitoring in Pc Hardware Based Real-time System
This paper presents one way of implementation of hybrid on-line monitoring in real-time systems. Monitoring module is described in VHDL programming language and tested on Altera DE2 development board.
متن کاملPlexil-Like Plan Execution Control in Agent Programming
BDI-based agent programming languages are well-known technologies for implementing autonomous agents in dynamic environments. Supporting robot programming however requires the plan representation and execution control capabilities of these languages to be extended for 1-) controlling and monitoring the execution of actions in complex arrangements and 2-) coordinating the parallel execution of p...
متن کاملUnder consideration for publication in Formal Aspects of Computing Foundations for Monitoring and Checking Reactive Systems
A run-time monitoring technique has become a promising methodology for higher system assurance by validating a current execution trace with regard to a given requirement specification. To formalize and understand the computational nature of run-time monitoring is a key to utilize this valuable technique. In this paper, we formalize the notion of run-time monitoring of reactive systems in terms ...
متن کاملA monitoring solution for multi-language software
Correctness of software is very important. In some applications a software failure may cause serious —even physical— damage, for example when the software manages railroad switches. In other applications the results of a software failure might not be so dramatic, but preventing failures is still essential in order to provide a good user experience. Runtime monitoring is a method for ensuring so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017